121. Fundamentals of computation theory : Proceedings of the 1977 International FCT-Conference Poznan-Kornik, Doland, September 19-23, 1977
پدیدآورنده : / edited by Marek Karpinski
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Recursion theory - Congresse,Computational complexity - Congresses,Machine theory - Congresses
رده :
QA267
.
I57
1977
122. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
9
.
6
.
I57
1977
123. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
56
124. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده : edited by Marek Karpinski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
56
125. Fundamentals of generalized recursion theory
پدیدآورنده : Fitting, Melvin, 2491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
126. Fundamentals of generalized recursion theory
پدیدآورنده : Fitting, Melvin
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
127. Fundamentals of mathematical logic /
پدیدآورنده : Peter G. Hinman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
رده :
QA9
.
H527
2005
128. Funtional Programming Languages in Education :
پدیدآورنده : edited by Pieter H. Hartel, Rinus Plasmeijer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Logic design.
رده :
QA76
.
62
E358
1995
129. General recursion theory
پدیدآورنده : Fenstad, Jens Erik
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F46
1980
130. General recursion theory : an axiomatic approach
پدیدآورنده : Fenstad, Jens Erik.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F46
131. Generalized recursion theory. Proceedings of the 1972 Oslo symposium
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursive functions
رده :
QA
248
.
5
.
S93
1972
132. Generalized recursion theory; proceedings of the 1972 Oslo Symposium
پدیدآورنده : / edited by J. E. Fenstad and P. G. Hinman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Recursive functions
رده :
515
.
25
S989
1972
133. Geometric and Algebraic Structures in Differential Equations
پدیدآورنده : edited by P. H. M. Kersten, I. S. Krasil'Shchik.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Differential Equations.,Geometry, Algebraic.,Geometry.,Mathematics.
134. Graphs and Order
پدیدآورنده : edited by Ivan Rival.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Computational complexity.,Mathematics.
135. Guide to discrete mathematics :
پدیدآورنده : Gerard O'Regan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
رده :
QA76
.
9
.
M35
136. Handbook of mathematical logic. tics; ed. by barwise, jon.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Symbolische logica.,Wiskundige logica.
رده :
QA9
.
H32
1977
137. Higher recursion theory
پدیدآورنده : / Gerald E. Sacks
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Recursion theory.
رده :
QA
,
9
.
6
,.
S23
,
1990
138. Higher recursion theory
پدیدآورنده : Sacks, Gerald E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S23
1990
139. Higher recursion theory
پدیدآورنده : Sacks, Gerald E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S23
1990
140. Higher recursion theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Recursion theory. ;
